翻訳と辞書
Words near each other
・ Simple precedence grammar
・ Simple precedence parser
・ Simple present
・ Simple prioritization
・ Simple programmable logic device
・ Simple public-key infrastructure
・ Simple random sample
・ Simple rational approximation
・ Simple resolution
・ Simple ring
・ Simple Science
・ Simple Sensor Interface protocol
・ Simple sequence length polymorphism
・ Simple series
・ Simple Service Discovery Protocol
Simple set
・ Simple shear
・ Simple Simon
・ Simple Simon (1922 film)
・ Simple Simon (2010 film)
・ Simple Simon (INXS song)
・ Simple Simon (musical)
・ Simple Simon (nursery rhyme)
・ Simple Simon (solitaire)
・ Simple Simon under
・ Simple Simpson
・ Simple Sis
・ Simple Skincare
・ Simple Sloppy Semantic Database
・ Simple Soap Binding Profile


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Simple set : ウィキペディア英語版
Simple set
In recursion theory a subset of the natural numbers is called a simple set if it is co-infinite and recursively enumerable, but every infinite subset of its complement fails to be enumerated recursively. Simple sets are examples of recursively enumerable sets that are not recursive.
== Relation to Post's problem ==
Simple sets were devised by Emil Leon Post in the search for a non-Turing-complete recursively enumerable set. Whether such sets exist is known as Post's problem. Post had to prove two things in order to obtain his result, one is that the simple set, say ''A'', does not Turing-reduce to the empty set, and that the ''K'', the halting problem, does not Turing-reduce to ''A''. He succeeded in the first part (which is obvious by definition), but for the other part, he managed only to prove a many-one reduction.
It was affirmed by Friedberg and Muchnik in the 1950s using a novel technique called the priority method. They give a construction for a set that is simple (and thus non-recursive), but fails to compute the halting problem.〔Nies (2009) p.35〕

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Simple set」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.